Correct module summaries now that they are written.