Fix Issue #1: PHP Warning due to undefined symbol