minor fix for javadoc