made some small html changes to hunt down a bug