Solve typo pointed out by Therzok.