Fix incorrect diagnostic.