small edit
yet some more small edits.