fix for php lint