whitespace after `catch`