New release: minor fixes