corrected a few errant ';'