Fix for Bug 203.  As the name is only used in the repo, no other changes...

... should be needed.