added some missing ;