Little fix on git internals talk