Updating: improving a doc-EXAMPLE-ATSLIB example.