fix wrong identifier names