yet another place we have to deal with this