Fix for Javadoc