Correct non-compiling typo that snuck in