added ; at necessary locations