very minor edits for notation, clarity
(#248)