Ik heb me afgevraagd waar het patroniem Barends vandaan komt bij Sijmen Barends van der Kolk. Zelf ben ik het niet tegengekomen in de bronnen die ik heb doorzocht.
Zelf noemt hij zich bij zijn ondertrouw Hendriks, maar eigenlijk zou hij toch Gerrits moeten heten.