Fix typo noted by glaebhoerl.