Ok, I'll look into it and try to deal with Git subtleties :) (do i have to amend the pull request or something?)