undefined symbol fix from Monday