Fix syntax issue which irritates php 5.3?