Version 1.3 release (fix #5)