Yet another fix for javadoc