Fix php error. closes  #4638