Fix an example of Observable.while