small fix for #683