Small changes, mostly doc