Test fix for #252