@andrerom: Ok, I'll close this one and make a new commit.