Fix double semi-colon typos