Add comment to explain use of <pre>.