Error: comments on page 'log/misc/theory' are not allowed