Removing double-semicolon