Miri pull requets

Please accept my request