a few improvements to the handout