Agreed. I'll write up the fix.