DNS Cache Manager: remove redundant formatting