Fix little compilation error