workaround for #4