minor html prettying