Ha yes sorry. The patch looks good then (I'll let @AltGr makes the merge).