Fix a little compilation issue, for real