Adding an example for #13.