fixups - question about font for "main function"

Author: joshuaberne

source/basic.tex

@@ -7003,7 +7003,7 @@
 \pnum
 \indextext{termination!program}%
 \indextext{\idxcode{main} function!return from}%
-A \keyword{return} statement\iref{stmt.return} in \tcode{main} has the effect of leaving the main
+A \keyword{return} statement\iref{stmt.return} in \tcode{main} has the effect of leaving the main  %JMB: Why is the second main here not in code font?
 function (destroying any objects with automatic storage duration
 and evaluating any postcondition assertions of \tcode{main})
 and calling \tcode{std::exit} with the return value as the argument.