Double points and the proper transform in symplectic geometry