two spaces in between PetscInt to size()