minor modifications to ctrl+c hotkey