I've fixed the bug on our side in a0cf5b3.