Fix up incomplete quantified captures commit 54a9a07.