[PATCH 06/11] dtoc: Improve internal error for Refresh()