Fixing typo noticed by James