Fix filename change (#32)