Fixes on the preservation theorem