minor printing changes; name server is now configurable.