Great that you already found the bug. Is there a way for us non-developers to apply your patch easily? Thanks!