small fixes to handout