doc changes for #53