widget rename, #238.