aggregation HAVING that matches no group returns no row