fix goof in 86b041f2