Small bug fixes to deepTrigger