Minor changes to documentation examples