Minor javadoc fixes