Minor fixes in javadoc