Coding style

No functional change intended.