Fix doc formatting