Correct typo as pointed out by raveit65 on irc