Small changes to docs and history