Oops.  Double-paste in last commit.  Fixed now.