Thanks.  Fix pushed.