Minor PHP changes