Fix minor compilation error