fix javadoc
probably a solution to #579