@mgorny please verify this one is fine