Bug fix in previous commit.