Minor content changes to the techreport.