small style fix for #791