Trying to track down a bug ...