Updated to 0.7.2 and fix some minor HTML bugs.