Fix overlapping index.html problem with userguide