Fixing Error-Document bugs