finally tracked down that bug