fixed another xml-encoding-fckp (rollforward)