minor edits in the old version