modifications for #85