Issue #286: plug a dictionary repository leak and make future leaks a bit less likely