Fix missing ;