little fixes in javadoc