[PATCH 0/3] minor edits in preparation for publication