added three forgotten semicolons;