fix noncompliance with php 5.3 syntax