reformatting and some clarifications