Similar fix for #4