Fix small javadoc issue