Bug fixes from documentation messups