Tweak to SIGINT patch from @jnordberg for #161