Fix bug in the implementations of forward_tuple_tail & tuple_tail