Make minor improvements in javadoc