format code
Fix signal handler advised by elfring