Corrected data structure specifications