Tests also updated to smalt version 0.7.2