fixing small bug in exception reporting