Minor docu updates.