fixing broken PHP