Checked -- yes, it does seem to do that actually -- ok, I will make that change @danielsdeleo .