Minor formatting. Removed html files that are no longer used.