Revert probably-erroneous bit of last commit.