fix issue 9401 - destructor and nothrow syntax