Note sure while is needed here.