documentation: some fixes