Fixed a missing ;