Removing double-semicolons