Fixing tiny typo

Fixes #2377