Fix php fatal error. closes #2225