structure setter improved in ex. 9.1