Minor update to Hartshorne's proof