Fix PHP class name