Comment by mriley

And just pushed the fix. Please let us know if you see it again! [email protected]