more tweaks for WikiSym.