use the SERVER_NAME
fixup last change of the lib/PageIndex.php