Version 1.3: fixes, API changes