fix assumptions description