Update doc relative to #4