Woops, this is actually a wrong change indeed... Will prepare a fix later this week for it!