greenplum bug about DISTINCT and GROUP BY...