#124: javadoc fixes