Fix coding style

Do it the right way :-)