Fix another basic bug introduced in a recent pull request.