Small correction deleted by merge tool