fix proof broken by last commit