funny auto-correct fails