Fix #171
Succeeds !157 (merged)
assigned to @she
enabled an automatic merge when the pipeline for 868d38e4 succeeds
mentioned in commit 07c0207f
merged