@rsmeral : thanks! I will submit a fix.