Last night I was using a USB keyboard because I had the lid closed, and because it was a Windows keyboard, I switched the option and command keys to make it easier to use. I unplugged the keyboard, put the computer to sleep and went to bed. This morning, I have found that even though I've manually changed them back so that option = option and command = command - even after clicking "Restore Defaults" - the command and option keys are still switched. As someone who uses keyboard shortcuts all the time, this is a pretty big deal. Please help!