another small fix for #176