diff --git a/coverage.py b/coverage.py
index f765ee8..71f4a09 100755
--- a/coverage.py
+++ b/coverage.py
@@ -219,7 +219,8 @@ def main():
         try:
             proc.wait()
         except KeyboardInterrupt:
-            proc.kill()
+            proc.terminate()
+            proc.wait()
             break
         print(separator, file=sys.stderr)
         if proc.returncode != 0: