That was a curious bug.