fix range in doc
fix concat x as ~byte[]