Fixed minor bugs in HOL code snippets.
Adding missing image.