Making sure that 0.4.1 works