Minor javadoc changes