Correct signal handler