Fix doc formatting issues