Fix style nits in Mods.TS.
Add Mods.TS to make check.