Got rid of this in a new commit.