clean up html

Ignore-this: c0676b7b3352a586bf6cfc65b27b987e

darcs-hash:20140713061535-312f9-76749636756f91c75584a9d33e5683c74605307b