The time-optimal problem in binary batch distillation—a further note