Fix a wrong filename in a comment in ExceptionWrapper.h