Some tweaks to the Javdocs.