should fix #1339