Pedantry: The last extraneous ';'s