some cosmetic tweaks (overfilled mboxes).
modified:   ../TODO.txt