I agree that this is a bug and it should be fixed. However, it might be more useful to report it upstream.
I agree that this is a bug and it should be fixed. However, it might be more useful to report it upstream.