Fix minor symbol error