Update tomdoc header