marginatus", y basándose en la nueva información, acuñó el nombre de género "Stephanosaurus" para la especie en 1914.