Fix reference to StateFile and release v0.1.2