corrected names in specification