Small compilation bug