Corrected typo of the (++) example in views.tex