remove some extra whitespace in index.html distribution file