@christianv check whether this has any implications on the splash page.