I'll fix that on the main PR just before merging.