fix mistakes noticed by @combinatorylogic