Add the missing ;