We don't need this anymore since 6849e72c7622e401ad64c61872de322d4fb66be0