Yup, sorry, didn't see you already merged the other PR ;) I'll fix it.