[BUG #7472] Add an error flag if a property is undocumented