Great! I didn't know this file (first contribution here).
I'll propose a patch.