isaacs: I logged a bug on github. Is there anything else I should do?