Diff funnyboat-1.5_p11-r3 with a texworks-0.6.7-r1

Thank you!