Fix hidden typo that has stayed here a long time