fix for some nightly build failures
proof cleanup
fix