I'll restore it. Originally the code also doesn't care about it, so I decided for the time being not to care about it too (to see if I could find the bug)