Fix typo pointed out by Khrysanth.