Bug fix; add a full example