fix for #462