Issue #7: Fixed bug in javadoc