Good point.  Will fix in next commit.