I fixed the double addition.  The rational for making it non-mutable (and copying every time) is to allow the prettyStringPrinters to be used without having to lock (I assume that we can't be sure that it won't be updated at the same time as they are being used to process a request)