minor cleanup of the docs