can we file a bug about this, then?