Update while loop docs section