Revert "correct an obvious mistake"

This reverts commit c491e93aef3a4557c2ef9725266949383dd0c2b8.