found a bug ...