Okay, I have changed this in the latest commit.