K 10 svn:author V 5 remko K 8 svn:date V 27 2007-12-28T11:11:43.000000Z K 7 svn:log V 72 Remove a redundant options field, found while translating this section. END