remove debug print from Lynch.c and documentation