Small improvements in javadoc (+ encoding)