Add Tom Marble to THANKS.