Small bug in tutorial for signal handler