simple fix for #1747