fix proof nil bug