TWEAK: fix exception specification thingie