workaround for #427