Xing Xue: Fix type-o.  Thanks to C. Bergström for spotting it.