Correct typo introduced by last commit