repaired Asserts