Update 5-data.scrbl