@hadley thanks for pointing this out! We could change this in a separate issue/PR.