Oops, I didn't read the text of the PR carefully enough, it's normal then.