Examples were improved.