Indeed, I'll fix that in the next iteration of the patch. Thank you!