"pequeño cuerno") es un género de dinosaurio considerado como "Nomen nudum".