Corrected backwards asserts