Fixed over reading.
Added inflating port's new behaviour.
Added *'s description of with-args.