[ whitespace ] Fixed whitespace in Issue1344.agda