add missing assert to verify; minor rewrite