Fixing bad javadoc