Should probably explicitly mention that it's due to Djatoka writing bad JSON; otherwise, this looks good.