User guide typo: Missing ) in #language-pragma