small doc/example fixes