File header: corrected smart quotes that were causing some display issues in HTML.