Use them instead of he, for consistency and neutrality

This pull request may be considered "politically correct", but I simply feel that "them" is more logical than "him", for neutrality, but also because all other string references to someone of unknown gender use "them" (lines 837 and 1541).