Minor change in PHP argument