Some changes to a note on co-inductive natural numbers.