fixes #3060 (closed)
and a wrong link.
Pipeline #25727 passed
Pipeline passed for 5d267d63 on pregmod-master 3 years ago
mentioned in commit 5d267d63
merged