Another tomdoc update