add missing trailing ;