Fixing a missing trailing ;