Revert "Revert "tiny bugfix""

This reverts commit 36a15ad5dd0356c8ab2945c6e192857656632d5f.