Inserted a forgotten semi-colon