Cleanup double-semicolon removed by script ;)