Typo

Ideas collected by Gideon van Rietschoten