Fixing typo related to PR #187