I will ping them and file a bug. Should we merge and then create an issue to change it once the bug has been resolved?