Documentation corrections on Pool.js