Fix for javadoc generation