fix link in example 13