Some properties of the Dolphin were mistakenly shared across instances