Fix problem in previous commit.