This is needed for @smuething's opcounting.
This is needed for Steffens opcounting.
Only whitespace changes, but this makes sure those whitespace changes are not part of future diffs.