remove an unused ; ;)