fixed example in technical report for readability