Fix petsc instructions.