fix exception dispatch header