Minor documentation example fixes