fix getlex and bindlex