fix missing ;