Improving php.vet a bit