version bump 0.2.5: more cleanup