We have a development server and vault that was renamed incorrectly and need to rename it.  Is there a proceedure for this?