Minor adjustment to example