Issue #17: fixing javadoc warning