Good point! I'll fix that and update the PR.