bug-fixes to schema.mof