[Bug #8684] Quick-fix to make the carousel work again