various minor fixes and release v1.3