In a similar vein: I had a new coworker named "Jason" join a team once, and for the life of me I couldn't help but type "JSON" first when writing emails/messages with his name. It took weeks before I could reliably get it right first try. Some habits (muscle memory? sub-vocalizations?) die hard.