Cool, that is what I have done in the latest commit.