deferred output, inputstream provider fix, docbook fixes