pull request (no functional change, just worried I broke easy merging)