Small cleanup of the docs