Removed a name that should have been private.

I noticed a name included in this take-down request that should have been marked as [private]. I'm not sure what good it will do now since the file history is public, but I'm submitting this for completeness's sake.