sicp formatting fixes