Update a comment, now that tail duplication happens after other branch