tiny fix for #326