Manual: minor edits to last commit.