Fix up proof of invariance of pi_1

for proper over algebraically closed fields