correction to abstract interpretation