including quickfix in index.html