Gixes to doc formatting