Fix lint error about missing ;