Trivial fix for None method call on Ctrl-C