formatting: put catch on the same line as }