updated doc/usage: fixed some typos and added missing verifications steps in existing examples