Fix coding style

In order to offer at least a very little bit of value today :-/
(And no more bugging by me, of course.)