Exactness of the double dual