javadoc, bugfix