Errant change that should not have made it into the previous commit.