Better exception specs