Fix an indent for docs generation