stan-use-imenu: fix bug in adding menu