Fix PHP sillyness