Issue #28: adding minor comment