deleted catch block (replaced by ;)