@brett Added correction below. If it looks fine to you, this PR is good to go.