K 10
svn:author
V 2
bf
K 8
svn:date
V 27
2011-10-22T16:02:55.000000Z
K 7
svn:log
V 127
Fix minor infelicity in OPTIONS, to prevent the end
of the world.

PR:		161896
Submitted by:	mandree, wblock (different patch)

END