Fix a little compilation issue