minor fix in php package name