Example: few typos fixed, comments enhanced