Ah, right. I took that code snippet from an earlier post of mine that eventually was about PETSc.IS. For reference: