Version 9.1.2

fixed a js bug on renaming