Fixes a defect in commit a7de3dc5.

David Rowley, per report from Jeff Janes, who also checked that the
fix works.