Fixing a typo (thanks @marklanz)