Fixing php lint error