remove a dubious assertion