err, erl, and error checking in KillProperly