small bugfix stemming from prev. commit
Authored by: widmfeli 2020-06-14
Parent: [r642]
Child: [r644]