More docs and some corrections.