Fix type in php