Fix some documentation examples.