HOPKINS: More renaming in MIRACLE() and characterRoute()