bugfix in Exception::what