I'd suggest that we get a slightly more formal license text from him. See if he'll approve this:
The copyright statement below is addended for the Debian system: This program may be sold as a component of the Debian Linux distribution or a Linux distribution derived from the Debian Linux distribution. If it is distributed in binary form, the source code must be included in the distribution as well. End of addendum. Thanks Bruce -- Visit the "Toy Story" Web Page! http://www.toystory.com