> So, I wonder if this is a bug and a bug report should be issued. Yes, please report it to bugzilla, thanks!