Fix proof broken by change in 875ba111.