Strange bug of probably no consequence.