fix bug in DTLZ7