Coding style

yet again...