clarifications, typos, polish