Corrected PHP issue described in issue #8