Command option shortcut changed, thanks @gnugat