These two versions are not equivalent. I haven't looked at the context to determine whether that is a problem.