fix little compilation bug