Already confirmed that your version worked (no idea why I had issues earlier) - already merged. Hurray!