space after `catch`.