try again to get Control.Exception.catch warnings right