Fix undefined symbol name in error message