cosmetic changes

plus a few semicolons, minus a few extra letters