thanks, verified it worked for me, tweaked the commit message, and pushed
-mike