Fix tiny html bugs