Fix broken push from SLAFUR