Correct. The first “John Fletcher” would have actually been a fletcher. And then he may have named his son “Paul John’s son”, shortening to “Paul Johnson”.