tweaks: adjust some whitespace and a comment
Benno Schulenberg authored
55b14035