Fixes missing mapping between Completeness and Product