Fixed. (Restored makeDeeplyUnmodifiable.)