[arprec/f19] whitespace cleanup

[Björn Esser]

Summary of changes:

  b5f428d... whitespace cleanup (*)

(*) This commit already existed in another branch; no separate mail sent