update sicp: update format of code blocks