patch release: 0.2.5