Quick fix for gh-pages breakage