Hmmm, I wonder if this is a bug.  @lmr Have you seen this problem?