Having both empty objective and options should not lead to a warning