Fix rare compilation error