Never read the comments.

Also, a fix to the theme.