Documentation, formatting, typos