Javadoc fix for #16