Fix a compilation error...