fix double assertion