Ah, I see. I guess this is fine then. Feel free to merge.