include fix for #1489952