Now reveal.js is updated, Sep 9, and works well.