minor changes to MainController (added ; where needed)