Using Ctrl-; for repeat instead of naked ;