Minor updates to sicp.org