Added note about checking examples.lisp