Exception ConcurrentModificationException Fix

We fixed a small bug in the exception manager which produced
ConcurrentModificationExceptions.