added a missing ;