Fix typesetting error. Switch to recursive clone.