Minor correction to last commit.