Fix up examples in the assert docs to match the way things work.