This case should probably be included then, or else we will get wrong results.