fixed a missing ;