fix a nasty typo