I actually did that already, after merge. :)