small corrections in mindsqualls.tex