minor rewrite
add missing assert to verify; minor rewrite