fix a typo

Thanks to David VomLehn for the report.