A quick typo-fix