interfaces as types - minor corrections