Add a sanity check assert