Any good reason for an empty catch()?