fix bug in infinite; docs