Do you want me to force update this PR with that change? append a commit? or submit yet another PR?