Minor javadoc addition