Minor correction to previous commit.