Actual fix for #188