docs and tiny fixes