Fixed bug I introduced when fixing the dead HEAD issue