correcting a copy/paste error made in an earlier commit