I don't know why this was ever necessary