#9: fix javadoc