Fix an unexpected compilation bug