removed type that is not used anymore (#27)