Clean-up double-semicolon removed by script ;)