Some minor work on docs