fix error when 'args' index isn't defined in php stack trace