Small improvements in javadoc