Fix c style problem