workaround for #70