removing typo (and it shouldn't be in this file anyway!)