"Heterodontosaurus" era un pequeño dinosaurio.