Prevent spurrious CINT error