Fix Miri message