I'm pretty pissed about forgetting to push but thankfully it was just
one small commit which should be very similar to this one. Obviously
have to wait till I merge to figure out which one is better