Javadoc fix for #457