small javadoc fixes