minor tweaks
record some notation we haven't included in the intro to write up later