The priority is shown of the name Agrion lunulatum Charpentier, 1840 over A. vernale Hagen, 1839, nomen nudum.