Hopefully fixed Javadoc