Remove stray empty comment. The code is adequately explained in the
block comment above, so there's nothing to add here.