*7669* Trivial tweaks