small fix for #1604