Ok, nevermind, this has already been fixed on develop by f7378df802140983dc3011a66ef4351e4283dc1d