Spec and fix for #624