Added "(throw (Exception.))" in place of "error"