Johannes Lund - "Johannes Lund" profile. Is the first name correct ?

Hi There,

I have seen that the "Johannes Lund" profile has been created recently as the father of "Eilert Jonsen Lund"

According to the source « Norske Slægter 1912 » (see http://runeberg.org/norsla12/ ) the father of Eilert Jonsen Lund was Jonas Lund (see https://runeberg.org/norsla12/0189.html )
[And by the way the spelling of his son should probably be "Eilert Jonassøn Lund"]

So the question is : do you have other sources which give the name of "Johannes" as the father of Eilert? or should the name in this profile be changed ?