Fix mistake in the header-selection-bugfix