Fix php error. closes #2450