Fixed problem in n-tuple implementation in ESOP14 appendix