Fix typo -- thanks to Wolfram for finding it.