Um, this seems to be added to PR by mistake, there is no comment for this change...