Small fix for PR #44