replace 1000 by Infinity, update docs.