fixes #197: catch with empty body should still generate a catch