[misc] Fixed wrong fix for #871