made some examples shorter