Fixed little compilation error