small fix for #82