Javadoc bugfix