Fix type in php namespace