Typographic quote changed to regular quote to fix haddock generation (#3).