It's only used in 3 places, so it seems reasonable to just delete it.