edits, mainly improving a diagram with some color