Fix github pages configuration.