opt-F12 opens system preferences but I can't find that shortcut listed anywhere in keyboard under system preferences. How is this happening and can I change it? Thanks