minor whitespace and comments
[BUG #7810] forward Ctrl-C to Python child process

- so it terminates as if receiving the Ctrl-C itself