fix an import
minor doc updates