Merge master change to publish them on gh-pages