Fix coding style problem