I also just realized this is private, so we probably don't have to worry about this for now.  It's fine as is.