empty catch not allowed :(