This fixes #7506.  The pull function now works.