Fixed up duplicate diagnostic.