just a minor change, no behavior change

alohajason changed pull request status to open
gfhayworth changed pull request status to merged

Sign up or log in to comment