opraven bug