oh yeah. you are totally right. this is actually a critical bugfix :)