Issue #63:
Minor change