Minor javadoc issue