Fix a typo noticed by Gordon Henriksen. Thanks!