tweaks: adjust indentation after the previous changes
Benno Schulenberg authored
fe38b784