Version 1.3, fix #2