fix bug in verify_slice