Cleaned up some PHP