This part is an old one (not mine or of this PR), but I can remove it.