Fixes to make the example more understandable