paper: minor notes in chisel.tex