Fix php being picky