fix broken doc formatting