Documentation fixes for syntax example