extra fix for #75