fix for occasional crash on iOS due to unsynchronized dictionary