One-line change to fix a latent merge issue.  (Pull Request 1636 got accidentally overwritten.)