Fix trap in Bash script (2).