Updating: tidying up the doc/EXAMPLE/JS/fact-example