More docs, formatting