another minor html fix