fix an exception, although the code has already caught it