More bug fixes to the documentation.