Fix error in script example documentation. Closes #770.