Good idea, thanks! The PR is updated.