minor improvements (mostly doc)