small updates to section1-1.sagews