Fix typo in comment, by Andreas Faerber.