fix too many ensures