fix one cut-and-paste-oh spotted by Craig