Update doc, make sure examples work

This is mostly cosmetic, so I'll merge it tonight unless I hear otherwise.