Fix compile error due to undefined identifier