get rid of double semicolons (not quite ready yet)