Fixes to documentation examples