Fixed typ in PHP