minor html improvement