Fixed null pointer dereference in tinfl.c