mmh... I don't know. :D You are right. That should be fixed with the next commit.