minor fix for #832