Oops, good catch! My mobile spell-check tool (swiftkey) seems to miss a lot… no idea why. It never used to do this…