Minor revisions to intro to python lab