fix up mess noticed by @combinatorylogic