Do we need to do this in the source code someplace?