In the distance, the city dome separated us from the atmosphere of Big Top. KKP had finally gotten officially changed to Quilt , but the Jovian primary had kept its original moniker. No one seemed to mind.