Fix soviets01

Fixes #7182 .
That's just a newline