minor edits to in_tail