Fixes #1563: Fix typo