Fix coding style comment, missed in last commit