Minor tweaks to Ceglia.