Fixing ctrl-] mistake