Commit 932dbee786f1c1497e07a16ada6e3dbb755fdd08

Stefan Sperling 2021-05-19T13:58:22

fix wrong function name in error message; pointed out by Mikolaj Kucharski