fix for #424