Fix coding style again...