FIX: bad trap under ubuntu (dash)

I used a slightly wrong syntax for `trap`. Bash didn't care; dash is relentless...