docs fixups from 19179b91