Fix a compilation error, sigh