Riodevasaurus à été renommé Turiasaurus.