Some housekeeping, truncating in index.html