Proper psignal()