Fix destructive_catches.js script - missing comma.