Tiny clean-up in exception