Fix typo; ref #239.