Examples improved.