documentation: corrections, formatting