Remove that thing I miswrote a long time ago