diagrams: more cosmetic changes to SML