I'm having a deja vu with this... :) I think that this changes has been already merged in a previous PR. Just to check if there is something strange with git or branches...