Fix doc formatting error