Changed "down" to "0" in fib-tuple examples.