Fixed a misprint.