Addendum to 6ef6fabfc5, e372f2b19b and c020a0ca28. It was forgotten to be removed in those commits.
6ef6fabfc5
e372f2b19b
c020a0ca28