Small javadoc fixes