Accepted all of davidalger's changes and made one more. There was one more place where a <pre> tag could be replaced by an indent.