Prettier printing of opti atoms.