Fix typo. See also #236.