Made some examples more explicit