Clean up loose ends in doc, info.