that's rather odd. that would be a bug.