Added code to (hopefully) generate verbose ids