Debugged some PHP