Revert "dunno why this was never reported as bug, but I fixed that one"

This reverts commit 7e3a8e3eb9287098222b75619aa644388b9d89e4.