I see, yes this should be fixed. I'll open a separate issue for this.