Test another fix for #4