really minor cleanup