bugfix: timeout has to be < oo !