But if this is important, a patch could be sent upstream!