A few documentation and example code tweaks