Better example of partial functions

Some typos and renaming of variables and functions