bug fix for javadoc