Fix bug in error/warning deserialization.
Fix errors in documentation.