Added the missing ;